A sequential equivalence checking algorithm based on state transfer graph is presented. 提出一种基于状态转换图的时序电路等价验证算法。
The method of a DHCP generating scenario test case is illustrated by using UML sequence diagram, integrate class graph and state graph. 使用UML生成场景测试用例,有利于测试者设计测试用例。
A state transition matrix sequence is constructed with the state graph and punctured pattern, and the product of the matrix sequence is used to compute the transfer function and distance spectrum; 利用卷积码状态图和凿孔码凿孔图样构造一个长度为凿孔周期的状态转移矩阵序列,并利用状态转移矩阵序列的乘积计算传输函数和距离谱。
Ajax crawling algorithm based on state transition graph 一种基于状态转换图的Ajax爬行算法
A Listing Method of Circuit State Equation Based on Network Graph 一种基于网络图的电路状态方程列写方法
Verifying Algorithm of Equivalence Based on State Transfer Graph's Isomorphism Solving 基于状态转换图同构求解的等价性验证算法
We analyze the system from several aspect: run with union fans, merit, natural wind pressure, angle-link structure, reliability and colligate state based on balance graph and so on. 包括风机联合运转分析、功耗分析、自然风压分析、角联结构分析、可靠性分析以及基于平衡图的综合状态分析等多个方面。
Through the static state qualitative simulation ( graph simulation), the fault scenario pattern is got. 通过稳态定性仿真即图论仿真,得到故障剧情样本。
Author explores a modeling method to be able to generate automatically nonlinear state equation from bonding graph model of hydraulic system by using a computer. 作者通过近年来的研究,探索出一种可以利用计算机从液压系统键合图模型自动生成其非线性状态方程的建模方法。
Self state difference graph can succeed in location to implicit soft fault of sequential machine directly, concisely and accurately. 自状态差表可成功直观简明精确定位时序机隐式软故障。
A Method of Logical Design Based on State Waveform Graph 基于状态波形图的逻辑设计方法
According to the technique request of pulp-mold produce line, the pneumatic system has been analyzed by the way of signal-action state graph. 根据全自动纸浆模塑生产线的工艺要求,采用信号&动作状态图法对气动系统进行分析与设计。
The fundamental principles and the characteristics of bond graph theory are analyzed, and the application and general development situation of bond graph theory are introduced. The modeling technique and the method to obtain system state equation of bond graph theory in the automotive system analysis are discussed. 讨论了键合图方法的基本原理和特点,对该方法在国内外的应用和发展概况作了介绍,并着重探讨了在汽车系统分析中的建模技术和求取系统状态方程的方法。
The notation of the network state graph and its hole are presented in serial updating mode, and the relation between the hole and the stability of neural network is investigated. 提出了异步演化的网络状态图和网络状态图的洞的概念,研究了网络状态图的洞和神经网络的异步稳定性之间的关系。
An performance evaluation model based on finite state transition graph 一种基于状态迁移图的性能评价模型
Based on the state transition directed graph of the protocol, this paper verifies the important properties of the protocol, including completeness, deadlock freeness, livelock freeness, termination, boundedness, and absence of non-executable interactions, by applying a reachability analysis. 根据该协议的状态转移图,本文应用可达性分析技术,验证了该协议的完整性、无死锁、无活锁、终止性、有界性以及不存在任何不可执行的交互作用等重要性质。
Clock synchronization state graph 时钟同步状态图
The stability and instability conditions of asymmetric discrete Hopfield neural networks are given in serial mode, and the structure of the network state graph is given in some special cases. 给出了非对称离散Hopfield网络的异步稳定条件和不稳定条件以及某些特殊情况下的网络状态图的结构。
Generated law of complete state difference graph 不完全状态差表构成规律
On the basis of analyzing structure character and state character of graph model, a systems graph model of epicyclic gear trains ( EGTs) is determined. It is realized that gear trains and electricity net fall into physics system. 在分析轮系结构特征图形模型与状态特征图形模型的基础上,确立了能够系统化研究周转轮系的图形模型。
The 2b-Signal flow graph is reduced to a state matrix flow graph, by means of which the state equations can be written out directly. 2b-信号流图被化简为一种状态矩阵流图,籍助此流图状态方程可直接写出。
Redundant State Transition Design of the Sequential Circuit Based on State Transition Graph 基于状态转换符的时序电路冗余状态变换设计
Temporal Property Analysis of Discrete Event Systems Based on State Reachability Graph 基于状态可达图的离散事件系统时态性质分析
The Lubrication State Graph of the Planet Rolling Gear 行星滚动变速机构的润滑状态图
A Method For Developing Multitask System ── Generalized State Graph Method 开发多任务系统的一种方法&广义状态图方法
An algorithm based on finite state transition graph for solving maximum RPC response time in Distributed Systems 分布式系统中求解RPC最大响应时间的一种基于状态图的算法
So a certification management flow modeling is designed based on Petri-net'P/ T system. Its integrity is analysed by the theory of state reachability graph. 文中使用Petri网理论中的库所/变迁系统模型对一个CA证书管理流程进行建模,并用状态可达图理论对其系统的完备性进行了分析与证明。
Secondly, the notation of state graph of networks is presented, and the stability of the networks is studied by using the method of graph theory. 其次,提出网络的状态图的概念,通过图论中的方法对网络的稳定性进行了研究。
By instrumenting heap usage modelling statements in the abstract state transition graph, and then obtaining the corresponding numeric abstraction, the problem of finding heap bounds is transformed into the maximum problem in a pure numeric program. 通过在抽象状态迁移图中插桩维护堆内存使用量的语句,获取对应的数值抽象模型,将堆内存上界问题转换成数值程序中的最大值问题。
The complex state signal flow graph is used for modeling the PWM conversion part. With the analysis of zero-pole graph of the current control inner loop, a novel complex state current regulator is proposed. 利用复矢量信号流图对PWM变换环节进行建模,在对电流内环控制系统零极点图分析的基础上,提出了一种新颖的复矢量电流调节器。